//clear()
function clear(){
    document.getElementById("divContent").innerHTML=""; 		//document.getElementById("'.$terminalDisplayName.'").value="";
    //	document.getElementById("'.$trayName.'").value="0:";
    stack=new Array();
        		
}
